Keine ausführliche Beschreibung für "Grundprobleme der Geschichte der antiken Wissenschaft" verfügbar.

ZusammenfassungP. Bernays hat darauf hingewiesen, dass man, um die Widerspruchs freiheit der klassischen Zahlentheorie zu beweisen, den Hilbertschen flniter Standpunkt dadurch erweitern muss, dass man neben den auf Symbole sich beziehenden kombinatorischen Begriffen gewisse abstrakte Begriffe zulässt, Die abstrakten Begriffe, die bisher für diesen Zweck verwendet wurden, sinc die der konstruktiven Ordinalzahltheorie und die der intuitionistischer. Logik. Es wird gezeigt, dass man statt deesen den Begriff einer berechenbaren Funktion endlichen einfachen Typs über den natürlichen Zahler benutzen kann, wobei keine anderen (...) Konstruktionsverfahren für solche Funktionen nötig sind, als einfache Rekursion nach einer Zahlvariablen und Einsetzung von Funktionen ineinander .P. Bernays has pointed out that, in order to prove the consistency of classical number theory, it is necessary to extend Hilbert's finitary stand‐point by admitting certain abstract concepts in addition to the combinatorial concepts referring to symbols. The abstract concepts that so far have been used for this purpose are those of the constructive theory of ordinals and those of intuitionistic logic. It is shown that the concept of a computable function of finite simple type over the integers can be used instead, where no other procedures of constructing such functions are necessary except simple recursion by an integral variable and substitution of functions in each other. (shrink)

A few years ago a book was published by Hannah Arendt with the title 'between Past and Future'. Many critics, especially in the USA, hailed this book — not ...

Definition of the problem: The following article presents the model for a structured decision-making process in intensive neonatal care. The model has been developed during the last 3 years by an interdisciplinary group of physicians, nurses and a hospital minister under the guidance of an ethicist. The model is an alternative to the decision-making process either through static guidelines and rules or through situational ethics with no general rules at all. The model is meant to be a realm of security (...) for the premature or handicapped newborn against the arbitrary decision-making of the doctors or parents. At present, the model for a structured decision-making process is being evaluated within the context of an interdisciplinary project sponsored by the National Foundation of Science of Switzerland. (shrink)

Reconstruction of the versions of Aristoxenos and Dikaiarchos.--The sources of Dikaiarchos and Aristoxenos and the reliability of their accounts. --Reconstruction of Timaios' version and the reliability of his accounts.--The chronological questions and the numismatic evidence.--The character of the "Pythagorean rule" in southern Italy.--Appendix.